0	Ada-Europe
1	Ada-Europe
2	CLUSTER
3	FME
4	VDM Europe (1)
5	FME
6	VDM Europe
7	World Congress on Formal Methods
8	ISORC
9	IWFM
10	Java Grande
11	ZB
12	ZB
13	Concurrency - Practice and Experience
14	Electr. Notes Theor. Comput. Sci.
15	Formal Asp. Comput.
16	Formal Asp. Comput.
17	SIGPLAN Notices
18	IEEE Trans. Software Eng.
19	null
20	Concurrency and Computation: Practice Experience
21	Data Based Advisor
22	Data Based Advisor
23	Data Based Advisor
24	Dr. Dobb's Journal
25	Data Based Advisor
26	Data Based Advisor
27	Data Based Advisor
28	Data Based Advisor
29	Data Based Advisor
30	Data Based Advisor
